1. Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 1819, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 1819, 2021, Revised Selected Papers

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: COMPUTERS / Programming / General ; Mathematics ; Science ; Sciences ;